inverse image of open set is open